Modell- und Methodenbanken / Objektbanken für diskrete Strukturen

Projektleitung und Mitarbeiter

Argenton, H. (Doktorand), Becker, P. (Doktorand), Güntzer, U. (Prof. Dr. rer. nat.)

Mittelgeber : FAW

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Kern dieses Projektes ist die Konzeption und Realisierung eines Modell- und Methodenbanksystems (genannt M) für diskrete Probleme, insbesondere Optimierungsprobleme. Dieses System bietet geeignete Funktionalitäten zur Definition von Problemmodellen und zur Integration von zugehörigen Lösungsalgorithmen, sowie Möglichkeiten zur Repräsentation von algorithmischem Metawissen, insbesondere Auswahlwissen. Momentan werden Ansätze untersucht, M auch als Objektbank für diskrete Strukturen zu verwenden. Es wurde bereits als Implementierungsplattform für neue Retrievaltechniken im Bereich von Syntaxbaum-Datenbanken eingesetzt. Desweiteren wird an auf temporaler Logik basierenden Sprachen für das Retrieval von Listen, Bäumen und Graphen gearbeitet.

Publikationen

Becker, P.: M an object-oriented model and method base system for discrete optimization problems. In: Proc. 1994 Intern. Conf. on Object Oriented Information Systems (OOIS '94) (Patel, D., Sun, Y., Patel, S., eds.), pp. 74 87. Springer-Verlag 1995.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise